The Universal Set of Outcomes ($S$)
The sample space must be defined such that every performance of the experiment results in exactly one outcome $\omega \in S$. We distinguish between different structures of $S$ based on the experimental design:
- Discrete Finite: Tossing coins or identifying a child's sex. Example 1: For a newborn, $S = \{g, b\}$.
- Discrete Infinite (Countable): Counting how many attempts it takes to succeed at a task.
- Continuous: Measuring the lifespan of an electronic component. $S = \{x: 0 \le x < \infty\}$.
Defining Events ($E$)
An Event is simply a subset of the sample space ($E \subseteq S$). An event is said to "occur" if the actual outcome of the experiment is an element of $E$. For example, if $S$ is the set of outcomes for tossing two dice, then the event "rolling a sum of 7" is a specific subset of ordered pairs.
Example 2: In a horse race with 7 participants, $S$ represents all $7!$ permutations (5,040 possible orders of finish). Here, $S = \{\text{all } 7! \text{ permutations of } (1, 2, 3, 4, 5, 6, 7)\}$.
Example 3: Flipping two coins results in four points: $S = \{(H, H), (H, T), (T, H), (T, T)\}$.
Example 4: Tossing two dice results in a 6x6 grid of 36 distinct points: $S = \{(i, j): i, j = 1, 2, 3, 4, 5, 6\}$.
Methodological Nuance: Replacement
The structure of $S$ is heavily influenced by the sampling method:
- Sampling with replacement: The set of available choices remains constant across trials (e.g., pulling a card, recording it, and putting it back).
- Sampling without replacement: Each selection alters the space of subsequent outcomes (e.g., dealing a hand of poker).